Small idempotent clones I
نویسندگان
چکیده
منابع مشابه
Idempotent Probability Measures, I
The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category Comp of compact Hausdorff spaces. We prove that the obtained functor is normal in the sense of E. Shchepin. Also, this functor is the functorial part of a monad on Comp. We prove that the idempotent probability measure monad conta...
متن کاملIdempotent I/O for safe time travel
Debuggers for logic programming languages have traditionally had a capability most other debuggers did not: the ability to jump back to a previous state of the program, effectively travelling back in time in the history of the computation. This “retry” capability is very useful, allowing programmers to examine in detail a part of the computation that they previously stepped over. Unfortunately,...
متن کاملClones Closed under Conjugation I: Clones with Constants
We show that if G ≤ SA is a permutation group on a finite set A satisfying |A| ≥ 3, then the set of G-closed clones on A that contain all constant operations is finite if and only if G = SA, AA, AGL(1, 5) (|A| = 5), PSL(2, 5) (|A| = 6), PGL(2, 5) (|A| = 6), PGL(2, 7) (|A| = 8), PGL(2, 8) (|A| = 9), or PΓL(2, 8) (|A| = 9).
متن کاملSmall clones and the projection property
In 1986, the second author classified the minimal clones on a finite universe into five types. We extend this classification to infinite universes and to multiclones. We show that every non-trivial clone contains a ”small” clone of one of the five types. From it we deduce, in part, an earlier result, namely that if C is a clone on a universe A with at least two elements, that contains all const...
متن کاملSOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator if a = a a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idempotent modulo bisimilarity. The proposed rule format relies on a companion one ensuring that certain te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1998
ISSN: 0011-4642,1572-9141
DOI: 10.1023/a:1022471729444